Memory model

Results: 703



#Item
591Computing / Data / Software transactional memory / Linearizability / Transactional memory / Model checking / SPIN model checker / Serializability / Parallel computing / Concurrency control / Transaction processing / Data management

Brief Announcement: Model Checking Transactional Memory with Spin John O’Leary Bratin Saha

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2008-11-16 00:00:00
592Computing / Solid-state drive / USB flash drive / Random-access memory / Computer memory / Computer hardware / Flash memory

A high-level model of embedded flash energy consumption James Pallister, PhD Student Kerstin Eder, Primary PhD Supervisor Simon Hollis, PhD Supervisor

Add to Reading List

Source URL: www.ict-energy.eu

Language: English - Date: 2014-05-09 06:43:40
593Digital photography / Computing / Input/output / Television technology / Image processing / RGB color model / Image scanner / Pixel / Tagged Image File Format / Graphics file formats / Computer graphics / Digital imaging

Microsoft Word - Standards - Table 4 updated.doc

Add to Reading List

Source URL: memory.loc.gov

Language: English - Date: 2007-05-14 14:14:27
594Mental processes / Phonology / Memory / Cognition / Perception / Phonotactics / Cohort model / Levels-of-processing effect / Speech perception / Mind / Linguistics / Psychology

Memory & Cognition 2007, 35(1), [removed]The spread of the phonological neighborhood influences spoken word recognition Michael S. Vitevitch

Add to Reading List

Source URL: 129.237.66.221

Language: English - Date: 2008-02-06 12:51:51
595Concurrent computing / Java platform / Computer memory / Parallel computing / Thread / Java Memory Model / Lock / Linearizability / Memory model / Computing / Transaction processing / Concurrency control

Programming Language Memory Models: What do Shared Variables Mean? Hans-J. Boehm[removed]

Add to Reading List

Source URL: www.hboehm.info

Language: English - Date: 2014-02-06 19:37:32
596Computer memory / Parallel computing / Threads / C POSIX library / POSIX Threads / Memory barrier / Memory model / Spinlock / Java Memory Model / Computing / Concurrent computing / Concurrency control

Reordering Constraints for Pthread-Style Locks Hans-J. Boehm HP Labs

Add to Reading List

Source URL: www.hboehm.info

Language: English - Date: 2014-02-06 19:37:32
597Parallel computing / Computer memory / Concurrency control / Threads / Concurrency / Thread / Memory barrier / POSIX Threads / Java Memory Model / Computing / Concurrent computing / Software engineering

Threads Cannot be Implemented as a Library Hans-J. Boehm HP Laboratories

Add to Reading List

Source URL: www.hboehm.info

Language: English - Date: 2014-02-06 19:37:32
598Compiler construction / Concurrency / Programming language design / Memory model / Parallel computing / Thread / Memory barrier / Parallel programming model / Computing / Software engineering / Computer memory

10-pldi-adve-boehm-tutorial

Add to Reading List

Source URL: www.hboehm.info

Language: English - Date: 2014-02-06 19:37:32
599Theta role / Psycholinguistics / Semantics / Verb argument / Bootstrapping / Preposition and postposition / Syntax / Semantic memory / Competition model / Linguistics / Grammar / Language

in press ! ! Article!type:!!Focus!Article! !

Add to Reading List

Source URL: cnl.psych.cornell.edu

Language: English - Date: 2014-05-13 21:27:59
600Psychology / Self control / Ego depletion / Roy Baumeister / Recall / Social psychology / Working memory / Self-regulated learning / Mind / Motivation / Behavior

What Is Ego Depletion? Toward a Mechanistic Revision of the Resource Model of Self-Control Perspectives on Psychological Science[removed]­–463

Add to Reading List

Source URL: www.michaelinzlicht.com

Language: English - Date: 2012-09-07 11:01:28
UPDATE